perm filename PROG.PUB[D,LES] blob
sn#058013 filedate 1973-08-10 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00013 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .DEVICE XGP
C00003 00003 .NOFILL
C00006 00004 .NEXT PAGE
C00012 00005 .AT ">>" ⊂ BREAK ⊃
C00017 00006 .ses 4. Invited Tutorial Lectures: II
C00023 00007 .nojust indent 0,6
C00027 00008 .ses 10. Natural Language: Systems
C00031 00009 .skip to column 1
C00035 00010 .ses 17. Psychology and A.I.
C00041 00011 .next page
C00045 00012 .next page
C00048 00013 .every heading (,,)
C00052 ENDMK
C⊗;
.DEVICE XGP;
.PAGE FRAME 54 HIGH 45 WIDE;
.AREA TEXT LINES 1 TO 54;
.FONT 1 "NGB25"
.FONT 2 "NGR40"
.FONT 3 "BDJ25"
.font 4 "ngr13"
.TURN ON "#{%-←→"
.MACRO FAC ⊂ FILL ADJUST COMPACT ⊃
.NOFILL
←%2CONFERENCE COMMITTEE
%3General Chairman:%1 Dr. Max B. Clowes
%4Laboratory of Experimental Psychology
University of Sussex
Brighton, Sussex BN1 9QY
England, U. K.
Telephone: 0273-66755
%3Vice Chairman:%1 Prof. Shuhei Aida
%4University of Electrocommunications
1-5-1 Chofugaoka, Chofu-Shi
Tokyo 182, Japan
Telephone: 0424-83-2161, Ext. 343
%3Program Chairman:%1 Dr. Nils Nilsson
%4Artificial Intelligence Center
Stanford Research Institute
Menlo Park, California 94025, U.S.A.
Telephone: 415/326-6200, Ext. 2311
%3Local Arrangements Chairman:%1 Mr. Lester D. Earnest
%4Artificial Intelligence Laboratory
Stanford University
Stanford, California 94305, U.S.A.
Telephone: 415/321-2300, Ext. 4202
%3Secretary-Treasurer:%1 Dr. Warren Teitelman
%4Xerox Palo Alto Research Center
3406 Hillview Avenue
Palo Alto, California 94304, U.S.A.
Telephone: 415/493-1600
%3Past General Chairman:%1 Dr. Donald E. Walker
%4Artificial Intelligence Center
Stanford Research Institute
Menlo Park, California 94025, U.S.A.
%3Committee Members%1
Dr. Rod M. Burstall
%4Department of Machine Intelligence
University of Edinburgh
4 Hope Park Square
Edinburgh EH8 9NW, Scotland, U.K.
%1Prof. John McCarthy
%4Computer Science Department
Stanford University
Stanford, California 94305, U.S.A.
%1Dr. S. I. Samoylenko
%4Council for Cybernetics
U.S.S.R. Academy of Sciences
B-333, 40 Vavilov Street
Moscow, U.S.S.R.
%1Prof. Erik Sandewall
%4Computer Sciences Department
University of Uppsala
Sturegatan 4 B 2 tr
Uppsala, Sweden
.NEXT PAGE
.FAC
←%2HIGHLIGHTS
%1Building on the stimulating conferences of 1969 (Washington, D.C.)
and 1971 (London), an outstanding four day program will be presented
this year beginning August 20.
←Contributed Papers
There are 16 sessions of contributed papers covering the entire
breadth of current A. I. research. Major topics include Natural
Language processing, Robotics, A. I. Languages, Problem Solving,
Automatic Programming, Theorem Proving, and Psychology.
←Tutorial Lectures
Seven leading experts will present 50 minute invited tutorial
lectures on topics of current importance in A.I. research. These
lectures will be video-taped so that attendees can view them later in
the conference. The tapes will be made available to colleges and
universities.
←Free Sessions
As a special innovation this year, we are having a series of "free
sessions" (in parallel with the regular sessions) in which
unrefereed, last minute results may be presented. There will
probably be room for about fifty 20-minute presentations.
←"Computers and Thought" Lecture
Dr. Patrick Winston of the Artificial Intelligence Laboratory, MIT,
has been selected to give the 1973 "Computers and Thought" public
lecture. This lecture is made possible through royalties earned on
the book Computers and Thought edited by E. Feigenbaum and J.
Feldman.
←Panel Discussion
Prominent persons concerned with Artificial Intelligence will discuss
whether or not we can and will make computers that emulate (i.e. equal or
excel) the cognitive and affective faculties of humans. They will
also consider the concomitant issue of which, if any, intelligent
behavior it might be inappropriate or unethical to emulate. The
moderator will be Louis Fein, Computer Consultant.
The panel discussion will be preceded by some remarks by Prof.
William F. Miller, Vice President and Provost of Stanford University.
.next page
←A.I. Film Festival
There will be showings of films brought by Conference participants.
These films will be shown continuously so that
attendees can drop in at any time to see them. A schedule will be
posted at the Conference.
←Tours for Spouses
Tours of nearby points of interest will be available for spouses
during the first two days of the Conference. One will visit the
facilities of Sunset Magazine, followed by luncheon in "Old Town"
Los Gatos and a visit to the vinyards of Paul Masson for a tasting.
The second trip will visit some of the high points (literally) of
San Francisco and the DeYoung Museum, with a stop for lunch at
Fisherman's Wharf.
←Recreational Facilities
Stanford recreational facilities will be open to you, including
swimming pools, tennis courts, and an 18 hole golf course. You may
also wish to explore the Stanford Museum, the Art Gallery, the
Bookstore, and campus libraries.
←Winetasting
The winegrowers of California will present a special tasting for
Conference attendees. Tables will be staffed by winery people, who
will serve the wines and comment on their characteristics. Besides
wine, there will be cheese provided by the Marin French Cheese
Company and bread.
←Plenary Session
There will be a plenary meeting in Dinkelspiel Auditorium on
Wednesday, August 22, to discuss IJCAI bylaws. All Conference
attendees are urged to come.
.NEXT PAGE
.AT ">>" ⊂ BREAK ⊃
.MACRO SES(NAM); ⊂ SKIP 1; CRBREAK}%2 NAM %1
.⊃
.MACRO SC; ⊂ SKIP 1; CRSPACE ⊃
.MACRO TIM(DA,PER); ⊂ }Time: {"DA"}, {"PER"}
. ⊃
←%2SCHEDULE%1
.nojust preface 0
.SES Informal Reception
.TIM("Sunday, August 19, 1973","6:30 p.m. -- 9:30 p.m.")
Place: Faculty Club
.sc
.fac
People who arrive by Sunday evening are invited to visit the
Faculty Club to pick up registration materials and meet other
participants. Refreshments while they last.
.INDENT 0,6; nojust
.SES 1. Invited Tutorial Lectures: I
.TIM("Monday, August 20, 1973","9:00 a.m. -- 12:00 noon")
Place: Dinkelspiel Auditorium
Chairman: Peter Hart,%3 Stanford Research Institute, Menlo Park, California%1
.SC
>> "Automatic Programming", Z. Manna, %3Weizmann Institute of Science, Rehotov, Israel.%1
>> "Languages for Artificial Intelligence", D. Bobrow, B.#Raphael, %3Stanford Research
Institute, Menlo Park, Ca.%1
>> "Artificial Intelligence & Psychology", A. Newell, %3Carnegie-Mellon University,
Pittsburgh, Pennsylvania%1
.SES 2. Theory of Heuristic Search
.TIM("Monday, August 20, 1973","9:00 a.m. -- 12:00 noon")
Place: Skilling Auditorium
Chairman: Ron Colman,%3 Cal. State Univ. at Fullerton, Fullerton, California%1
.SC
>> "Additive AND/OR Graphs", A. Martelli, U. Montanari, %3Instituto de Elaborazione
della Informazione del Consiglio Nazionale della Richerche, Pisa, Italy%1
>> "The Avoidance of (Relative) Catastrophe, Heuristic Competence,
Genuine Dynamic Weighting and Computational Issues in Heuristic
Problem Solving", I. Pohl, %3U.C. Santa Cruz, Santa Cruz, California%1
>> "Some Theoretical Results On Automated Game Playing", T. Boffey, %3University of
Liverpool, United Kingdom%1
>> "The Bandwidth Heuristic Search", L. Harris, %3Dartmouth College, Hanover, New
Hampshire%1
.NEXT PAGE
.SES 3. Theorem Proving and Logic: I
.TIM("Monday, August 20, 1973","9:00 a.m. -- 12:00 noon")
Place: Physics Lecture Hall 100
Chairman: J Moore, %3University of Edinburgh, Edinburgh, Scotland%1
.SC
>> "The Q* Algorithm -- A Search Strategy for a Deductive Question-
Answering System", J. Minker et. al., %3University of Maryland, College Park,
Maryland%1
>> "A Semantically Guided Deductive System for Automatic Theorem-
Proving", R. Reiter, %3University of British Columbia, Vancouver, Canada%1
>> "Deletion-Directed Search in Resolution-Based Proof
Procedures", D. Gelperin, %3Ohio State University, Columbus, Ohio%1
>> "A Definition-Driven Theorem Prover", G. Ernst, %3Case Western Reserve
University, Cleveland, Ohio%1
>> "A Man-Machine Theorem Proving System", W. Bledsoe, P. Bruell, %3University of
Texas, Austin, Texas%1
.ses 4. Invited Tutorial Lectures: II
.TIM("Monday, August 20, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Dinkelspiel Auditorium
Chairman: Saul Amarel, %3Rutgers University, New Brunswick, New Jersey%1
.sc
>> "Computer Vision", Y. Shirai, %3Electrotechnical Laboratory, Tokyo, Japan%1
>> "Artificial Intelligence and Education", S. Papert, %3MIT, Cambridge, Mass.%1
>> "Automatic Problem Solving", D. Luckham, %3Stanford University, Stanford, California%1
>> "Natural Language Understanding", T. Winograd, %3Stanford University, Stanford, California%1
.ses 5. Applications and Implications of A.I.
.TIM("Monday, August 20, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Skilling Auditorium
Chairman: V.L. Stefanyuk, %3Academy of Sciences, Moscow, U.S.S.R.%1
.sc
>> "Analysis of Behavior of Chemical Molecules: Rule Formation on Non-
Homogeneous Classes of Objects", B. Buchanan, N. Sridharan, %3Stanford
University, Stanford, California%1
>> "Some Necessary Conditions for a Master Chess Program",
H. Berliner, %3Carnegie-Mellon University, Pittsburgh, Pennsylvania%1
>> "Artificial Intelligence and Automatic Programming in CAI",
E. Koffman, S. Blount, %3University of Connecticut, Storrs, Connecticut%1
.next page
>> "Search Strategies for the Task of Organic Chemical Synthesis",
N. Sridharan, %3Stanford University, Stanford, California%1
>> "Forecasting and Assessing the Impact of Artificial Intelligence
on Society", O. Firschein, M. Fischler, %3Lockheed Research Laboratory, Palo
Alto, California%1, L.S. Coles, J.M. Tenenbaum, %3Stanford Research Institute,
Menlo Park, California%1
.ses 6. Theorem Proving and Logic: II
.TIM("Monday, August 20, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Physics Lecture Hall 100
.crspace
Chairman: Robert Yates,%3 Centro de Investigacion en Mathematicas Aplicadas
y en Sistemas, University of Mexico, Mexico, D.F.%1
.sc
>> "Steps Toward Automatic Theory Formation", J. Brown, %3University of California,
Irvine, California%1
>> "Doing Arithmetic with Diagrams", A. Bundy, %3University of Edinburgh, Edinburgh,
Scotland%1
>> "A Mechanization of Type Theory", G. Huet, %3Iria Laboria, France%1
>> "On the Mechanization of Abductive Logic", H. Pople, %3University of Pittsburgh,
Pittsburgh, Pennsylvania%1
>> "A Hole in Goal Trees: Some Guidance from Resolution Theory",
D. Loveland, M. Stickel, %3Carnegie-Mellon University, Pittsburgh, Pennsylvania%1
>> "Discovering Classification Rules Using Variable-Valued Logic
System VL1", R. Michalski, %3University of Illinois at Urbana-Champaign, Illinois%1
.ses Winetasting
.tim("Monday, August 20, 1973","7:30 p.m. -- 9:00 p.m.")
.crspace
Place: Stanford Artificial Intelligence Laboratory, %31600#Arastradero Road,
Palo Alto, California%1
.skip fac; indent 0,0,0
This event is free to registrants and their spouses while the
tickets last. At most 600 persons can be accommodated. There will be
buses from motels and from campus to the winetasting and return (schedule
to be posted).
.skip
The site of this tasting is in the foothills about 5 miles from campus.
To get there by car, head Southeast from campus to Page Mill Road, then
turn right. Drive into the hills until you pass the 280 Freeway, then
take the next right onto Arastradero Road. The Artificial Intelligence
Laboratory will be found about 1 mile from the turn in a strange looking
building on the hill to your right.
.nojust indent 0,6
.next page
.ses 7. Natural Language: Speech
.tim("Tuesday, August 21, 1973","9:00 a.m. -- 12:00 noon")
Place: Physics Lecture Hall 100
Chairman: Stephen Crocker, %3Department of Defense, Washington, D.C.%1
.sc
>> "A Procedure for Adaptive Control of the Interaction between
Acoustic Classification and Linguistic Decoding in Automatic
Recognition of Continuous Speech", C. Tappert, N. Dixon, %3IBM Corporation,
Yorktown Heights, New York%1
>> "The Hearsay Speech Understanding System: An Example of the
Recognition Process", R. Reddy, et. al., %3Carnegie-Mellon University, Pittsburgh,
Pa.%1
>> "System Organizations for Speech Understanding: Implications of Network
and Multiprocessor Architecture for A.I.", L. Erman, et. al., %3Carnegie-Mellon
University, Pittsburgh, Pennsylvania%1
>> "Mechanical Inference Problems in Continuous Speech Understanding"
W. Woods, J. Makhoul, %3Bolt, Beranek and Newman, Cambridge, Massachusetts%1
>> "Speech Understanding Through Syntactic and Semantic Analysis",
D. Walker, %3Stanford Research Institute, Menlo Park, California%1
>> "A Parser for a Speech Understanding System", W.#Paxton, A. Robinson, %3Stanford
Research Institute, Menlo Park, California%1
.ses 8. Formalisms for A.I.
.tim("Tuesday, August 21, 1973","9:00 a.m. -- 12:00 noon")
Place: Skilling Auditorium
Chairman: Marvin Denicoff, %3Office of Naval Research, Washington, D.C.%1
.sc
>> "D-SCRIPT: A Computational Theory of Descriptions", R.#Moore, %3MIT, Cambridge,
Massachusetts%1
>> "Conversion of Predicate-Calculus Axioms, Viewed as Nondeterministic
Programs, to Corresponding Deterministic Programs", E. Sandewall, %3Uppsala
University, Uppsala, Sweden%1
>> "A Universal Modular ACTOR Formalism for Artificial Intelligence",
C. Hewitt, et.al., %3MIT, Cambridge, Massachusetts%1
>> "A Model for Control Structures for Artificial Intelligence
Programming Languages", D. Bobrow, R. Wegbreit, %3XEROX PARC, Palo Alto,
California%1
>> "Some Aspects of Artificial Intelligence Research in the U.S.S.R."
D. Pospelov, et. al., %3Academy of Sciences, Moscow, U.S.S.R.
.ses 9. Free Session: Problem Solving and Psychology
.tim("Tuesday, August 21, 1973","9:00 a.m. -- 12:00 noon")
Place: Physics Lecture Hall 101
.ses 10. Natural Language: Systems
.tim("Tuesday, August 21, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Skilling Auditorium
Chairman: L. Stephen Coles, %3Stanford Research Institute, Menlo Park, California%1
.sc
>> "MARGIE: Memory, Analysis, Response Generation and Inference on
English", R. Schank, et. al., %3Stanford University, Stanford, California%1
>> "Language Processing Via Canonical Verbs and Semantic Models"
G. Hendrix, et. al., %3University of Texas, Austin, Texas%1
>> "Understanding Without Proofs", Y. Wilks, %3Stanford University, Stanford, California%1
>> "Idiolectic Language-Analysis for Understanding Doctor-Patient
Dialogues", H. Enea, et. al., %3Stanford University, Stanford, California%1
>> "Mechanism of Deduction in a Question Answering System with Natural Language Input",
M. Nagao, J. Tsujii, %3Kyoto University, Kyoto, Japan%1
.ses 11. Robot Implementations
.tim("Tuesday, August 21, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Physics Lecture Hall 100
Chairman: Marvin Minsky, %3Massachusetts Institute of Technology, Cambridge, Mass.%1
.sc
>> "Design of a Computer Controlled Manipulator for Robot Research",
B. Dobrotin, %3Jet Propulsion Laboratory, Pasadena, California%1, V. Scheinman,
%3Stanford University, Stanford, California%1
>> "A Versatile Computer-Controlled Assembly System", A.#Ambler, et. al., %3University
of Edinburgh, Edinburgh, Scotland%1
>> "Planning Considerations for a Roving Robot with Arm", R.#Lewis,
A. Bejczy, %3Jet Propulsion Laboratory, Pasadena, California%1
>> "Control Algorithm of the Walker Climbing over Obstacles",
D. Okhotsimsky, A. Platonov, %3Academy of Science, Moscow, U.S.S.R.%1
>> "Design of a Low-cost, General-purpose Robot",
M.H.#Smith, %3University of California, Berkeley, California%1, L.S. Coles,
%3Stanford Research Institute, Menlo Park, California
.group
.ses 12. Free Session: Formalisms and Automatic Programming
.tim("Tuesday, August 21, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Physics Lecture Hall 101
.apart
.group
.ses "13. Computers and Thought Lecture %3(open to the public)"
.tim("Tuesday, August 21, 1973","8:00 p.m. -- 9:30 p.m.")
Place: Memorial Auditorium
Lecturer: Patrick Winston, %3Massachusetts Institute of Technology, Cambridge, Mass.
.skip
%1Title: "Learning, Problem Solving, and the Search for Intelligence"
.apart
.skip to column 1
.ses 14. Natural Language: Semantics and Parsing
.tim("Wednesday, August 22, 1973","9:00 a.m. -- 12:00 noon")
Place: Physics Lecture Hall 100
Chairman: Joyce Friedman, %3University of Michigan, Ann Arbor, Michigan%1
.sc
>> "Jack and Janet in Search of a Theory of Knowledge", E.#Charniak, %3MIT,
Cambridge, Massachusetts%1
>> "Natural Semantics in Artificial Intelligence", J. Carbonell,
A. Collins, %3Bolt, Beranek and Newman, Cambridge, Massachusetts%1
>> "Some Frills for the Modal Tic-Tac-Toe of Davies and Isard:
Semantics of Predicate Complement Constructions", A. Joshi, R. Weischedel,
%3University of Pennsylvania, Philadelphia, Pennsylvania%1
>> "Semantic Modeling for Deductive Question-Answering", K. Biss, et. al.,
%3University of Illinois, Urbana-Champaign, Illinois%1
>> "Case Structure Systems", B. Bruce, %3Rutgers University, New Brunswick, N.J.%1
>> "A Linguistics Oriented Programming Language", V. Pratt, %3MIT, Cambridge, Mass.%1
.ses 15. Robot Problem Solving
.tim("Wednesday, August 22, 1973","9:00 a.m. -- 12:00 noon")
Place: Skilling Auditorium
Chairman: Jack Buchanan, %3Carnegie-Mellon University, Pittsburgh, Pennsylvania%1
.sc
>> "Proving the Impossible is Impossible is Possible; Disproofs Based on
Hereditary Partitions", L.#Siklossy, J.#Roach, %3University of Texas, Austin,
Texas%1
>> "Robot Planning System Based on Problem Solvers", T.#Nagata, et.al.,
%3Electrotechnical Laboratory, Tokyo, Japan%1
>> "DECIDER-1: A System That Chooses Among Different Types of Acts",
L. Uhr, %3University of Wisconsin, Madison, Wisconsin%1
>> "Robot Decisions Based on Maximizing Utility", W. Jacobs, M. Kiefer,
%3The American University, Washington, D.C.%1
>> "Planning in a Hierarchy of Abstraction Spaces", E.#Sacerdoti, %3Stanford
Research Institute, Menlo Park, California%1
>> "An Efficient Robot Planner which Generates Its Own
Procedures", L. Siklossy, J. Dreussi, %3University of Texas, Austin, Texas%1
.group
.ses 16. Free Session: Vision
.tim("Wednesday, August 22, 1973","9:00 a.m. -- 12:00 noon")
Place: Physics Lecture Hall 101
.apart
.ses 17. Psychology and A.I.
.tim("Wednesday, August 22, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Skilling Auditorium
Chairman: Edward Feigenbaum, %3Stanford University, Stanford, California%1
.sc
>> "PAS:II: An Interactive Task-Free Version of an Automatic Protocol Analysis
System", D. Waterman, A. Newell, %3Carnegie-Mellon University, Pittsburgh,
Pennsylvania%1
>> "Outlines of a Computer Model of Motivation", G. Kiss, %3University of
Edinburgh, Edinburgh, Scotland%1
>> "Active Semantic Networks as a Model of Human Memory", D. Rumelhard,
D. Norman, %3University of California at San Diego, La Jolla, California%1
>> "Towards a Model of Human Game Playing", M. Eisenstadt and Y. Kareev,
%3University of California at San Diego, La Jolla, California%1
>> "A Model of the Common-Sense Theory of Intention and Personal
Causation", C. Schmidt, J. D'Addamio, %3Rutgers University, New Brunswick,
New Jersey%1.
>> "The Symbolic Nature of Visual Imagery", T. Moran, %3Carnegie-Mellon University,
Pittsburgh, Pennsylvania%1
.ses 18. Automatic Programming
.tim("Wednesday, August 22, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Physics Lecture Hall 100
Chairman: C. Cordell Green, %3Stanford University, Stanford, California%1
.sc
>> "A System which Automatically Improves Programs", J.#Darlington,
R. Burstall, %3University of Edinburgh, Edinburgh, Scotland%1
>> "Proving Theorems about LISP Functions", R. Boyer, J#Moore, %3University of
Edinburgh, Edinburgh, Scotland%1
>> "A Global View of Automatic Programming", R. Balzer, %3University of Southern
California, Information Science Institute, Marina del Rey, California%1
>> "A Heuristic Approach to Program Verification", S. Katz, Z. Manna, %3Weizmann
Institute of Science, Rehovot, Israel%1
>> "Iterated Limiting Recursion and the Program Minimization Problem"
L. Schubert, %3University of Alberta, Canada%1
.group
>> "Heuristic Methods for Mechanically Deriving Inductive Assertions"
B. Wegbreit, %3Bolt, Beranek and Newman, Cambridge, Massachusetts%1
.apart group
>> "Automatic Program Synthesis in Second-Order Logic", J.#Darlington,
%3Geselschaft fuer Mathematik und Datenverarbeitung, Bonn, Germany%1
. apart group
.ses 19. Free Session: Applications
.tim("Wednesday, August 22, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Physics Lecture Hall 101
.apart
.ses "Plenary Session"
.tim("Wednesday, August 22, 1973","5:00 p.m. -- 6:00 p.m.")
Place: Dinkelspiel Auditorium
.sc
There will be a discussion of IJCAI bylaws. All Conference attendees
are urged to attend.
.group
.ses "20. Invited Discussion %3(open to the public)"
.tim("Wednesday, August 22, 1973","8:00 p.m. -- 10:00 p.m.")
Place: Memorial Auditorium
.sc
>> "Practical & Theoretical Impacts of Artificial Intelligence", William
F. Miller, %3Vice President and Provost, Stanford University%1
>> "How Much of Human Intelligence Could and Should Computers be Made
to Equal or Excel? A Discussion", Louis Fein, %3Synnoetic Systems, Moderator%1.
(Speakers and discussants will include E. Fredkin and J. Weizenbaum of
M.I.T. and T.#Winograd of Stanford. Others to be announced.)
.apart
.next page
.ses 21. Computer Vision
.tim("Thursday, August 23, 1973","9:00 a.m. -- 12:00 noon")
Place: Physics Lecture Hall 100
Chairman: Adolfo Guzman, %3Centro Nacional de Calculo, Mexico%1
.sc
>> "Finding Picture Edges through Collinearity of Feature Points"
F. O'Gorman, M. Clowes, %3University of Sussex, Brighton, Sussex, England%1
>> "Interpreting Pictures of Polyhedral Scenes", A.#Mackworth, %3University of
Sussex, Brighton, Sussex, England%1
>> "Detection of Homogeneous Regions by Structural Analysis",
F. Tomita, et.al., %3 Osaka University, Osaka, Japan%1
>> "Computer Description of Textured Surfaces", R. Bajcsy, %3University of
Pennsylvania, Philadelphia, Pennsylvania%1
>> "A Semantics-Based Decision Theoretic Region Analyzer",
Y. Yakimovsky, J. Feldman, %3Stanford University, Stanford, California%1
.ses 22. General Problem Solving
.tim("Thursday, August 23, 1973","9:00 a.m. -- 12:00 noon")
Place: Skilling Auditorium
Chairman: Richard Fikes, %3Stanford Research Institute, Menlo Park, California%1
.sc
>> "POPS: An Application of Heuristic Search Methods to the Processing
of a Nondeterministic Programming Language", G. Gibbons, %3Naval Post Graduate
School, Monterey, California%1
>> "CASAP: A Testbed for Program Flexibility", R. Balzer, %3University of Southern
California, Information Science Institute, Marina del Rey, California%1
>> "A Number Theory Approach to Problem Representation and Solution"
S. Shen, E. Jones, %3Virginia Polytechnic Institute and State University,
Blacksburg, Virginia%1
>> "On a Local Approach to Representation in Problem Solving",
V. Stefanyuk, %3Academy of Science, Moscow, U.S.S.R.%1
>> "The Architecture of a Coherent Information System; A General
Problem Solving System", C. Srinivasan, %3Rutgers University, New Brunswick,
New Jersey%1
.ses 23. Free Session: Robots and Other
.tim("Thursday, August 23, 1973","9:00 a.m. -- 12:00 noon")
Place: Physics Lecture Hall 101
.next page
.ses 24. Perception for Robots
.tim("Thursday, August 23, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Physics Lecture Hall 100
Chairman: Harry Barrow, %3University of Edinburgh, Edinburgh, Scotland%1
.sc
>> "Computer Description of Curved Objects", G. Agin, %3IBM Corporation,
Endicott, New York%1, T. Binford, %3Stanford University, Stanford, California%1
>> "Structured Descriptions of Complex Objects", R. Nevatia,
T. Binford, %3Stanford University, Stanford, California%1
>> "On Calibrating Computer Controlled Cameras for Perceiving 3-D
Scenes", I. Sobel, %3Israel Institute of Technology, Haifa, Israel%1
>> "Thoughts About a Visually Guided Grasp Reflex", R.#Didday, %3Colorado State
University, Fort Collins, Colorado%1
>> "Pattern Classification of the Grasped Object by the Artificial
Hand", G. Kinoshita, et.al., %3Chuo University, Tokyo, Japan%1
.ses 25. Hardware and Software for A.I.
.tim("Thursday, August 23, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Skilling Auditorium
Chairman: Richard Waldinger, %3Stanford Research Institute, Menlo Park, California%1
.sc
>> "The LISP70 Pattern Matching System", L Tesler, et.al., %3XEROX PARC, Palo
Alto, California%1
>> "Backtracking in MLISP2,", D. Smith, H. Enea, %3Stanford University, Stanford,
California%1
>> "CLISP - Conversational LISP", W. Teitelman, %3XEROX PARC, Palo Alto, California%1
>> "1-pak: A SNOBOL-based Programming Language for Artificial
Intelligence Applications", J. Mylopoulos, et.al., %3University of Toronto,
Toronto, Canada%1
>> "A LISP Machine with Very Compact Programs", L.P.#Deutsch, %3XEROX PARC, Palo
Alto, California%1
.ses 26. Free Session: Natural Language
.tim("Thursday, August 23, 1973","1:30 p.m. -- 5:00 p.m.")
Place: Physics Lecture Hall 101
.every heading (,,)
.next page
←TOURS FOR SPOUSES
.fac; crspace preface 1
Tours will be offered to spouses of conference attendees on the first
two days as follows.
Tour #1: Monday, August 20, 10:30 a.m. -- 4:00 p.m.
.indent 4,4,4
A visit to the home of Sunset Magazine, tour of the grounds,
information on how recipes are tested. Next, to Los Gatos'
quaint Old Town for a Mexican luncheon, with time to visit
some of the interesting shops. Finally, a tour of the Paul
Masson Winery in Saratoga with ample time for tasting.
Cost: $4, not including lunch.
.indent 0
Tour #2: Tuesday, August 21, 8:45 a.m. -- 4:30 p.m.
.indent 4,4,4
AN ALL-DAY TRIP TO SAN FRANCISCO FOR ALL AGES!
We will drive to the City along the San Andreas Fault and park in Golden Gate Park
where you can tour the renowned Oriental Art Exhibit at the De Young Museum,
or walk around the Strybing Arboretum and the Japanese Tea Garden, or visit
the Steinhart Aquarium and Museum of Natural History. We will continue to
Fisherman's Wharf for luncheon at any of a number of restaurants and a visit
to Ghirardelli Square's shops (and super soda fountain), or the Maritime
Museum, or ride a cable car to Chinatown. Returning via the Twin Peaks
section of San Francisco. Cost: $5, not including lunch.
.indent 0,0,0
.skip
←FOREIGN EXCHANGE AND CHECK CASHING
The foreign currency exchange office at San Francisco Airport is open
seven days a week from 7 a.m. until midnight. It is located in the
Bank of America section in the South Terminal near the Pan American
facility. Apart from the currency exchange office, the bank itself
is open every day from 8:30 a.m. to 5:00 p.m. (6 p.m. on Friday).
Checks may be cashed upon presentation of Driver's License and
suitable credit card.
There may be some limited foreign currency exchange at the Wells
Fargo Bank on the Stanford University campus during banking hours
from 10 a.m. to 3 p.m. Campus courtesy cards, given to registrants,
may be used to cash personal checks drawn on U.S. banks in amounts up
to $100 at Wells Fargo.